车辆运动模拟器运动参数实时监测系统

针对车辆运动模拟器运动参数的实时测量要求研制了一套计算机实时在线监测系统,介绍了监测系统的组成和功能,通过对车辆运动模拟器油缸位移的分析,推导了模拟器运动参数的理论解算方法,并从数据通讯、处理和管理等方面对监测软件进行分析与设计,从而实现了模拟器运动参数监测模式的多样化。     

高速导弹末制导虚拟样机系统设计、建模及校验

总结了国内外虚拟样机技术的发展现状,结合目前正开展的高速末制导虚拟样机系统,对虚拟样机系统建摸、模型校验等技术进行了探讨,并提出了解决方案。     

C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

分布式虚拟环境中环境信息动态更新研究

环境信息动态更新是分布式虚拟环境的一个主要特点,如何使环境信息更新更活跃、更反应实际情况,一直是分布式虚拟环境研究的重点。在典型的分布式交互环境中,环境信息动态更新是基于协议数据单元(PDU),它不提供数据可靠性传输保证。如何保证分布式环境中各结点环境信息一致性,本文提出了一种信息校验和协议,它通过极少的信息传输就可保证各结点环境信息高度一致。文中定义了保证分布式环境信息动态一致性更新的协议数据单元,并在试验环境中证明了协议的可靠性。     

一种基于MTS的网络区域管理工作站实现策略

网络扩容的一个重要障碍是异构子网连接后的互连管理问题。分区域的一体化管理无疑是一种解决办法。本文提出一种基于管理协议细栈(MTS)来构造一体化的区域管理中心(RMC)的策略,这里的 RMC 可实现彼此间的管理通信和互操作,从而也解决了扩容后的互连管理问题。结合正在进行的工程实践,文章还进一步从技术角度上讨论了实现策略。     

YHFT-DX处理器全定制EDA技术的开发与应用

在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。     

FACILITATING NUCLEAR DISARMAMENT: Verified Declarations of Fissile Material Stocks and Production

Unprecedented interest in seeking progress toward nuclear disarmament exists today; even some nuclear weapon states are looking for new ways to strengthen this process. National declarations of fissile material holdings—highly enriched uranium and plutonium—could play an important role in supporting this effort, facilitating not only transparency but also the irreversibility of the process. This article discusses what kind of content such declarations could have in order to be meaningful and effective, the sequence of data on fissile material holdings that states might release, and some of the challenges to be expected in reconstructing historic fissile material production; it also summarizes current attitudes of weapon states toward making such declarations. Initial declarations can be valuable as confidence-building measures, but better and more background data are necessary if declarations are to serve as the groundwork for deeper cuts in the nuclear arsenals. A robust verification approach would ultimately require inspectors to have access to fissile material production and storage sites. The methods and tools of nuclear forensic analysis—in this context also dubbed nuclear archaeology—would be a key element of this process. This article discusses the capabilities and limitations of potential approaches to verifying declarations of historic production of plutonium and highly enriched uranium; it also identifies and discusses opportunities for further research and development.     

GETTING BETTER ALL THE TIME

Detect and Deter: Can Countries Verify the Nuclear Test Ban?, by Ola Dahlman, Jenifer Mackby, Svein Mykkeltveit, and Hein Haak. Springer, 2011. 279 pages, $129.     

基于非齐次线性方程组的认证协议的研究

认证技术是信息安全理论与技术的一个重要方面.认证技术主要包括用户认证和信息认证2个方面.前者用于鉴别用户身份,后者用于保证信息的真实来源.本文基于线性代数的方程组的解的理论建立了一种身份认证协议和一种消息认证协议.通过安全性分析结果表明这个新的身份认证协议能够保证用户身份的正确认证,新的信息认证协议能够保证数据的机密性、完整性,同时能够防止重传攻击认证信息来源.     

一种可堆叠存储介质的设计

参考服务器/客户端的可堆叠通信模式,以最常见的SATA硬盘作为存储介质,Marvell 88SM9705为核心控制芯片,设计了一种可堆叠的存储介质。经测试,88SM9705通过解析主机端发送来的SATA 3.0协议定义的帧信息结构(Frame Information Structure,FIS)中PM Port地址字段,能依次对其所连接的多个SATA硬盘进行正确的读、写等操作,实现了存储设备的可堆叠,稳定性能良好。是一种实现扩容同步提速的可堆叠存储阵列解决方案,在嵌入式存储系统领域具有很好的应用前景。